Verification of interdomain routing system based on formal methods
نویسندگان
چکیده
منابع مشابه
Verification of Communication Protocols Based on Formal Methods Integration
Communication protocols define the set of rules needed to exchange messages between communicating entities. Networked and distributed systems, built around communicating protocols, are widely used nowadays. Since such systems are often deployed in safety-critical applications, confidence in protocol correctness is highly required. We propose an approach based on formal method integration to sup...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملApplications of Formal Methods to System Design and Verification
This special issue contains the extended versions of a selected set of paperspose a Hardware/Software co-design and verification methodology based on system dependence graphs. They accept any combination of C/C++/SpecC descriptions as input designs. A system dependence graph shows the dependencies among statements and/or expressions in a design and is used for analyzing and verifying the design...
متن کاملFormal Methods for Functional Verification
Formal hardware verification ranges from proving that two combinational circuits compute the same functions to the much more ambitious task of proving that a sequential circuit obeys some abstract property expressed in temporal logic. In tracing the history of work in this area, we find a few efforts in the 1970s and 1980s, with a big increase in verification capabilities the late 1980s up thro...
متن کاملDigital System Verification: A Combined Formal Methods and Simulation Framework
Spend your time even for only few minutes to read a book. Reading a book will never reduce and waste your time to be useless. Reading, for some people become a need that is to do every day such as spending time for eating. Now, what about you? Do you like to read a book? Now, we will show you a new book enPDFd digital system verification a combined formal methods and simulation framework mitche...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tsinghua Science and Technology
سال: 2009
ISSN: 1007-0214
DOI: 10.1016/s1007-0214(09)70011-2